Benedikt Ahrens, Paige Randall North, Niels van der Weide, Semantics for two-dimensional type theory, LICS ‘22: Proceedings of the 37th Annual ACM/IEEE Symposium on Logic in Computer Science, August 2022, No. 12, Pages 1–14, (doi:10.1145/3531130.3533334)
Benedikt Ahrens, Paige Randall North, Michael Shulman, Dimitris Tsementzis, The Univalence Principle (arXiv:2102.06275)
On univalence in homotopy type theory:
Last revised on January 3, 2024 at 06:14:54. See the history of this page for a list of all contributions to it.